

(check (let (( (a  (b0 b1 b2) . c) '(1 (100 200 300) . 77) ))
         (= (+ a b0 b1 b2 c) 678)))
